-
1 theorem-proving system
Большой англо-русский и русско-английский словарь > theorem-proving system
-
2 theorem-proving system
Математика: система доказательства теоремыУниверсальный англо-русский словарь > theorem-proving system
-
3 theorem-proving system
English-Russian scientific dictionary > theorem-proving system
-
4 system
1) система; комплекс2) совокупность•- absolutely consistent system - absolutely direct indecomposable system - absolutely free system - absolutely irreducible system - absolutely isolated system - allowable coordinate system - almost linear system - ample linear system - artificial feel system - automatic block system - automatic deicing system - binary relational system - binary-coded decimal system - block tooling system - Cartesian coordinate system - completely controllable system - completely ergodic system - completely hyperbolic system - completely identifiable system - completely integrable system - completely irreducible system - completely regular system - completely stable system - completely stratified system - complex number system - conical coordinate system - derivational formal system - differential equation system - differential selsyn system - digital counting system - digital transmission system - elliptic coordinate system - elliptic cylindrical coordinate system - externally inconsistent system - finite state system - finitely axiomatizable system - finitely presented system - fully characteristic quotient system - fundamental system of solutions - hydraulic lift system - integrated switching system - isomorphically embedded system - kernel normal system - linearly dependent system - linearly independent system - live hydraulic system - locking protection system - meteor-burst communication system - modular programming system - parabolic cylindrical coordinate system - permanent four-wheel drive system - pure independent system - radio telephone system - reactor protection system - real number system - receiver-amplifier crioelectric system - remote-cylinder hydraulic system - semantically consistent system - simply consistent system - simply incomplete system - simply ordered system - spherical coordinate system - strongly multiplicative system - structurally stable system - sufficiently general coordinate system - system of frequency curves - system of rational numbers - time multiplex system - time-division multiplex system - uniformly complete system - univalent system of notation - universal system of notation - weakly closed system - weighted number system -
5 система доказательства теоремы
Русско-английский научно-технический словарь Масловского > система доказательства теоремы
-
6 система доказательства теоремы
Большой англо-русский и русско-английский словарь > система доказательства теоремы
-
7 система доказательства теоремы
Mathematics: theorem-proving systemУниверсальный русско-английский словарь > система доказательства теоремы
-
8 Philosophy
And what I believe to be more important here is that I find in myself an infinity of ideas of certain things which cannot be assumed to be pure nothingness, even though they may have perhaps no existence outside of my thought. These things are not figments of my imagination, even though it is within my power to think of them or not to think of them; on the contrary, they have their own true and immutable natures. Thus, for example, when I imagine a triangle, even though there may perhaps be no such figure anywhere in the world outside of my thought, nor ever have been, nevertheless the figure cannot help having a certain determinate nature... or essence, which is immutable and eternal, which I have not invented and which does not in any way depend upon my mind. (Descartes, 1951, p. 61)Let us console ourselves for not knowing the possible connections between a spider and the rings of Saturn, and continue to examine what is within our reach. (Voltaire, 1961, p. 144)As modern physics started with the Newtonian revolution, so modern philosophy starts with what one might call the Cartesian Catastrophe. The catastrophe consisted in the splitting up of the world into the realms of matter and mind, and the identification of "mind" with conscious thinking. The result of this identification was the shallow rationalism of l'esprit Cartesien, and an impoverishment of psychology which it took three centuries to remedy even in part. (Koestler, 1964, p. 148)It has been made of late a reproach against natural philosophy that it has struck out on a path of its own, and has separated itself more and more widely from the other sciences which are united by common philological and historical studies. The opposition has, in fact, been long apparent, and seems to me to have grown up mainly under the influence of the Hegelian philosophy, or, at any rate, to have been brought out into more distinct relief by that philosophy.... The sole object of Kant's "Critical Philosophy" was to test the sources and the authority of our knowledge, and to fix a definite scope and standard for the researches of philosophy, as compared with other sciences.... [But Hegel's] "Philosophy of Identity" was bolder. It started with the hypothesis that not only spiritual phenomena, but even the actual world-nature, that is, and man-were the result of an act of thought on the part of a creative mind, similar, it was supposed, in kind to the human mind.... The philosophers accused the scientific men of narrowness; the scientific men retorted that the philosophers were crazy. And so it came about that men of science began to lay some stress on the banishment of all philosophic influences from their work; while some of them, including men of the greatest acuteness, went so far as to condemn philosophy altogether, not merely as useless, but as mischievous dreaming. Thus, it must be confessed, not only were the illegitimate pretensions of the Hegelian system to subordinate to itself all other studies rejected, but no regard was paid to the rightful claims of philosophy, that is, the criticism of the sources of cognition, and the definition of the functions of the intellect. (Helmholz, quoted in Dampier, 1966, pp. 291-292)Philosophy remains true to its classical tradition by renouncing it. (Habermas, 1972, p. 317)I have not attempted... to put forward any grand view of the nature of philosophy; nor do I have any such grand view to put forth if I would. It will be obvious that I do not agree with those who see philosophy as the history of "howlers" and progress in philosophy as the debunking of howlers. It will also be obvious that I do not agree with those who see philosophy as the enterprise of putting forward a priori truths about the world.... I see philosophy as a field which has certain central questions, for example, the relation between thought and reality.... It seems obvious that in dealing with these questions philosophers have formulated rival research programs, that they have put forward general hypotheses, and that philosophers within each major research program have modified their hypotheses by trial and error, even if they sometimes refuse to admit that that is what they are doing. To that extent philosophy is a "science." To argue about whether philosophy is a science in any more serious sense seems to me to be hardly a useful occupation.... It does not seem to me important to decide whether science is philosophy or philosophy is science as long as one has a conception of both that makes both essential to a responsible view of the world and of man's place in it. (Putnam, 1975, p. xvii)What can philosophy contribute to solving the problem of the relation [of] mind to body? Twenty years ago, many English-speaking philosophers would have answered: "Nothing beyond an analysis of the various mental concepts." If we seek knowledge of things, they thought, it is to science that we must turn. Philosophy can only cast light upon our concepts of those things.This retreat from things to concepts was not undertaken lightly. Ever since the seventeenth century, the great intellectual fact of our culture has been the incredible expansion of knowledge both in the natural and in the rational sciences (mathematics, logic).The success of science created a crisis in philosophy. What was there for philosophy to do? Hume had already perceived the problem in some degree, and so surely did Kant, but it was not until the twentieth century, with the Vienna Circle and with Wittgenstein, that the difficulty began to weigh heavily. Wittgenstein took the view that philosophy could do no more than strive to undo the intellectual knots it itself had tied, so achieving intellectual release, and even a certain illumination, but no knowledge. A little later, and more optimistically, Ryle saw a positive, if reduced role, for philosophy in mapping the "logical geography" of our concepts: how they stood to each other and how they were to be analyzed....Since that time, however, philosophers in the "analytic" tradition have swung back from Wittgensteinian and even Rylean pessimism to a more traditional conception of the proper role and tasks of philosophy. Many analytic philosophers now would accept the view that the central task of philosophy is to give an account, or at least play a part in giving an account, of the most general nature of things and of man. (Armstrong, 1990, pp. 37-38)8) Philosophy's Evolving Engagement with Artificial Intelligence and Cognitive ScienceIn the beginning, the nature of philosophy's engagement with artificial intelligence and cognitive science was clear enough. The new sciences of the mind were to provide the long-awaited vindication of the most potent dreams of naturalism and materialism. Mind would at last be located firmly within the natural order. We would see in detail how the most perplexing features of the mental realm could be supported by the operations of solely physical laws upon solely physical stuff. Mental causation (the power of, e.g., a belief to cause an action) would emerge as just another species of physical causation. Reasoning would be understood as a kind of automated theorem proving. And the key to both was to be the depiction of the brain as the implementation of multiple higher level programs whose task was to manipulate and transform symbols or representations: inner items with one foot in the physical (they were realized as brain states) and one in the mental (they were bearers of contents, and their physical gymnastics were cleverly designed to respect semantic relationships such as truth preservation). (A. Clark, 1996, p. 1)Socrates of Athens famously declared that "the unexamined life is not worth living," and his motto aptly explains the impulse to philosophize. Taking nothing for granted, philosophy probes and questions the fundamental presuppositions of every area of human inquiry.... [P]art of the job of the philosopher is to keep at a certain critical distance from current doctrines, whether in the sciences or the arts, and to examine instead how the various elements in our world-view clash, or fit together. Some philosophers have tried to incorporate the results of these inquiries into a grand synoptic view of the nature of reality and our human relationship to it. Others have mistrusted system-building, and seen their primary role as one of clarifications, or the removal of obstacles along the road to truth. But all have shared the Socratic vision of using the human intellect to challenge comfortable preconceptions, insisting that every aspect of human theory and practice be subjected to continuing critical scrutiny....Philosophy is, of course, part of a continuing tradition, and there is much to be gained from seeing how that tradition originated and developed. But the principal object of studying the materials in this book is not to pay homage to past genius, but to enrich one's understanding of central problems that are as pressing today as they have always been-problems about knowledge, truth and reality, the nature of the mind, the basis of right action, and the best way to live. These questions help to mark out the territory of philosophy as an academic discipline, but in a wider sense they define the human predicament itself; they will surely continue to be with us for as long as humanity endures. (Cottingham, 1996, pp. xxi-xxii)10) The Distinction between Dionysian Man and Apollonian Man, between Art and Creativity and Reason and Self- ControlIn his study of ancient Greek culture, The Birth of Tragedy, Nietzsche drew what would become a famous distinction, between the Dionysian spirit, the untamed spirit of art and creativity, and the Apollonian, that of reason and self-control. The story of Greek civilization, and all civilizations, Nietzsche implied, was the gradual victory of Apollonian man, with his desire for control over nature and himself, over Dionysian man, who survives only in myth, poetry, music, and drama. Socrates and Plato had attacked the illusions of art as unreal, and had overturned the delicate cultural balance by valuing only man's critical, rational, and controlling consciousness while denigrating his vital life instincts as irrational and base. The result of this division is "Alexandrian man," the civilized and accomplished Greek citizen of the later ancient world, who is "equipped with the greatest forces of knowledge" but in whom the wellsprings of creativity have dried up. (Herman, 1997, pp. 95-96)Historical dictionary of quotations in cognitive science > Philosophy
-
9 reasoning
1) [логическое] рассуждение, умозаключение; [логический] выводсм. тж. abstract reasoning, automated reasoning, case-based reasoning, commonsense reasoning, deductive reasoning, logical reasoning, probabilistic reasoning, reasoning system, theorem proving2) мышлениеАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > reasoning
-
10 prove
pru:v1) (to show to be true or correct: This fact proves his guilt; He was proved guilty; Can you prove your theory?) probar2) (to turn out, or be found, to be: His suspicions proved (to be) correct; This tool proved very useful.) resultar•- provenprove vb demostrar / probarcan you prove that Dan stole the money? ¿puedes demostrar que Dan robó el dinero?tr[prʊːv]1 (show to be true) probar, demostrar2 (turn out to be) demostrar1 (turn out) resultar\SMALLIDIOMATIC EXPRESSION/SMALLto prove oneself dar pruebas de valor, demostrar su valíato prove somebody right dar a alguien la razón, demostrar que alguien tiene razón1) test: probar2) demonstrate: probar, demostrarprove vi: resultarit proved effective: resultó efectivov.• argüir v.• comprobar v.• contestar v.• demostrar v.• estatuir v.• evidenciar v.• probar v.• resultar v.• verificar v.pruːv
1.
1) (verify, demonstrate) \<\<theory/statement\>\> probar*; \<\<theorem/innocence\>\> probar*, demostrar*; \<\<loyalty/courage\>\> demostrar*can you prove where you were that night? — ¿tiene pruebas de dónde estaba usted aquella noche?
to prove somebody right/wrong — demostrar* que alguien tiene razón or está en lo cierto/está equivocado
2)a) ( test) \<\<weapon/system\>\> probar*b) ( Law) \<\<will\>\> comprobar*, verificar*
2.
v reflto prove oneself: he was given three months to prove himself — le dieron tres meses para que demostrara su valía
3.
vi1) ( turn out) resultar2) ( Culin) \<\<dough\>\> levar, leudar[pruːv] (pt proved) (pp proved or proven)1. VT1) (=give proof of) [+ theory, statement] demostrar, probar; (one's love, loyalty, strength) demostrarmy son was murdered, and I'm going to prove it — a mi hijo lo asesinaron, y voy a demostrarlo or probarlo
can you prove it? — ¿lo puede demostrar or probar?
statistics never prove anything — las estadísticas nunca prueban or demuestran nada
you say you love me, so prove it — dices que me quieres, pues demuéstralo or pruébalo
•
you can't prove anything against me — usted no tiene ninguna prueba en mi contra, usted no puede demostrar or probar nada en mi contra•
it just proves how stupid he is — simplemente demuestra or prueba lo tonto que esshe took him to court just to prove a point — lo llevó a los tribunales simplemente para demostrar or probar que estaba en lo cierto or que ella tenía razón
•
it's been scientifically proven or proved — se ha probado or demostrado científicamente, ha sido probado or demostrado científicamente•
to prove that — demostrar que, probar quethat proves that she did it — eso demuestra or prueba que ella lo hizo
•
she wants to prove to herself that she can still hold down a job — quiere demostrarse a sí misma que todavía puede mantener un trabajo•
what are you trying to prove? — ¿qué intentas demostrar or probar?•
it's difficult to prove what's going on — es difícil demostrar or probar lo que está pasando•
whether he was right remains to be proved — aún falta por demostrar or probar si tenía razóneveryone said that we would fail but we proved them wrong — todo el mundo decía que fracasaríamos, pero demostramos que estaban equivocados
she attempted to prove their theory wrong — intentó encontrar pruebas que demostraran que su teoría estaba equivocada
2) (=verify) comprobaryou can prove how effective this method is by trying it out yourself — puede comprobar la eficacia de este método probándolo usted mismo
3)• to prove o.s. — demostrar lo que uno vale
4) (=test out) poner a prueba, someter a prueba5) (Jur)2. VI1) (=turn out) resultarthe temptation proved too much for her — la tentación resultó demasiado grande para ella, no pudo resistir la tentación
2) (Culin) [dough] leudarse* * *[pruːv]
1.
1) (verify, demonstrate) \<\<theory/statement\>\> probar*; \<\<theorem/innocence\>\> probar*, demostrar*; \<\<loyalty/courage\>\> demostrar*can you prove where you were that night? — ¿tiene pruebas de dónde estaba usted aquella noche?
to prove somebody right/wrong — demostrar* que alguien tiene razón or está en lo cierto/está equivocado
2)a) ( test) \<\<weapon/system\>\> probar*b) ( Law) \<\<will\>\> comprobar*, verificar*
2.
v reflto prove oneself: he was given three months to prove himself — le dieron tres meses para que demostrara su valía
3.
vi1) ( turn out) resultar2) ( Culin) \<\<dough\>\> levar, leudar -
11 теорема о неподвижной точке
Наиболее распространенная в экономике методика установления существования решений равновесной системы уравнений заключается в постановке проблемы как поиска неподвижной точки построенной соответствующим образом функции или соответствия. Причина следования этим, часто обходным путем заключается в том, что важные математические теоремы для доказательства существования неподвижных точек легко доступны. — In economics the most frequent technique for establishing the existence of solutions to an equilibrium system of equations consists of setting up the problem as the search for a fixed point of a suitably constructed function or correspondence. The reason for proceeding in this, often roundabout, way is that important mathematical theorems for proving the existence of fixed points are readily available.
Russian-English Dictionary "Microeconomics" > теорема о неподвижной точке
См. также в других словарях:
Theorem Proving System — The Theorem Proving System (TPS) is an automated theorem proving system for first order and higher order logic. TPS has been developed at Carnegie Mellon University. An educational version of it is known as ETPS (Educational Theorem Proving… … Wikipedia
Theorem Proving in Higher-Order Logics — (TPHOLs) is an annual international academic conference on the topic of automated reasoning in higher order logics. The first TPHOLs was held in Cambridge, UK in 1987, but in the early years was an informal gathering of researchers interested in… … Wikipedia
Automated theorem proving — (ATP) or automated deduction, currently the most well developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program. Decidability of the problem Depending on the underlying logic, the problem of… … Wikipedia
Interactive theorem proving — is the field of computer science and mathematical logic concerned with tools to develop formal proofs by man machine collaboration. This involves some sort of proof assistant: an interactive proof editor, or other interface, with which a human… … Wikipedia
Paradox (theorem prover) — Paradox is an automated theorem proving system developed by Koen Lindström Claessen and Niklas Sörensson at the Chalmers University of Technology. The software is written in the Haskell programming language and is released under the terms of the… … Wikipedia
HOL theorem prover family — HOL (Higher Order Logic) denotes a family of interactive theorem proving systems sharingsimilar logics and implementation strategies. Systems in this family follow the LCF approach as they are implemented as a library in some programming language … Wikipedia
Voting system — For other uses, see Voting system (disambiguation). Part of the Politics series Electoral methods … Wikipedia
Computer algebra system — A computer algebra system (CAS) is a software program that facilitates symbolic mathematics. The core functionality of a CAS is manipulation of mathematical expressions in symbolic form. Contents 1 Symbolic manipulations 2 Additional capabilities … Wikipedia
Isabelle (theorem prover) — Infobox Software name = Isabelle caption = collapsible = author = developer = released = latest release version = latest release date = latest maintenance version = latest maintenance date = latest preview version = latest preview date =… … Wikipedia
Mizar system — For the star system, see Mizar (star). The Mizar system consists of a language for writing strictly formalized mathematical definitions and proofs, a computer program which is able to check proofs written in this language, and a library of… … Wikipedia
Semi-Thue system — In computer science and mathematics a Semi Thue system (also called a string rewriting system [Book and Otto, p. 36] ) is a type of term rewriting system. It is named after the Norwegian mathematician Axel Thue, who introduced systematic… … Wikipedia